#!/bin/bash

MAX=$1
cat ./user.js_ori | sed -e "s/1000/$MAX/" > ./user.js
time ../js/js -j ./run.js
#time ../js/js    ./run.js
#time ../js/jsv8  ./run.js
